University Link

Results: 1271



#Item
711Mathematics / Artificial intelligence / Logic in computer science / Deduction / Reasoning / Reasoning system / Fluent / Magni / Frame problem / Automated theorem proving / Science / Logic

Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed]

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-01-23 11:35:13
712Fiction / Applied linguistics / Critical thinking / Semantics / Discourse analysis / Dialogue / Like / Case-based reasoning / Discourse / Linguistics / Sociolinguistics / Science

An Integrated Discourse Model for a Case-Based Reasoning Dialogue System Karolina Eliasson Linkoping University Department of Computer and Information Science SE[removed]Link¨oping [removed]

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-01-31 08:20:46
713Active fire protection / Fire suppression / Safety equipment / Fire extinguisher / Hot work / Flammable liquid / Fire safety / Safety / Fire / Fire protection

Link to entire WKU Hot Work Permit Program HOT WORK PERMIT Western Kentucky University Date Work Begins:

Add to Reading List

Source URL: wku.edu

Language: English - Date: 2014-09-30 10:20:26
714Artificial intelligence / Ordinal numbers / Science / Mathematics / Completeness / Curry–Howard correspondence / Knowledge representation / Constructible universe / Belief revision

Belief Revision Revisited Ewa Madali´nska-Bugaj1 and Witold Łukaszewicz2 1 Institute of Informatics, Warsaw University, Warsaw, Poland Dept. of Computer Science, Link¨oping University, Sweden and

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-01 08:50:36
715Network theory / Markov models / Internet search engines / Statistics / PageRank / Search engine optimization / Centrality / Webgraph / Random walk / Link analysis / Graph theory / Mathematics

Fast Incremental and Personalized PageRank Bahman Bahmani ∗ Stanford University

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2012-11-06 00:15:04
716Reasoning / Knowledge representation / Logic programming / Epistemology / Programming paradigms / Reasoning system / Knowledge representation and reasoning / Frame problem / Reason / Science / Artificial intelligence / Logic

Natural Language Understanding using Temporal Action Logic Martin Magnusson Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden email: [removed]

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-03 06:39:30
717Non-classical logic / Mathematics / Knowledge representation / Epistemology / Artificial intelligence / Frame problem / Circumscription / Situation calculus / Axiom / Logic / Mathematical logic / Logic programming

Explaining Explanation Closure Patrick Doherty1 and Witold L ukaszewicz2 and Andzrej Szalas2 1 Department of Computer and Information Science Linkoping University, S[removed]Linkoping, Sweden

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-03 06:09:18
718Inductive reasoning / Reasoning / Multimodal interaction / Rhetoric / Robotics / Case-based reasoning / Dialogue / Dialog system / Robot / Artificial intelligence / Fiction / Science

Towards a Robotic Dialogue System with Learning and Planning Capabilities Karolina Eliasson Linkoping University Department of Computer and Information Science SE[removed]Link¨oping [removed]

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-01-31 08:23:56
719Network architecture / Computing / ANT / Network topology / Routing / Link-state routing protocol / Kademlia / Wireless networking / Wireless sensor network / Technology

ON SUPPORTING DISTRIBUTED COLLABORATION IN SENSOR NETWORKS Guiling Wang, Wensheng Zhang, Guohong Cao, and Tom La Porta Department of Computer Science & Engineering The Pennsylvania State University, University Park, PA

Add to Reading List

Source URL: www.cse.psu.edu

Language: English - Date: 2007-06-04 14:48:40
720Routing / Wireless networking / Computer networking / Link-state routing protocol / Source routing / Network architecture / Internet / Computing

An Evaluation of GOAL and GAL Routing Algorithms: Aimed at Future Research Christopher Lydick Kansas State University Department of Electrical and Computer Engineering February 25, 2007

Add to Reading List

Source URL: ece.k-state.edu

Language: English - Date: 2007-05-09 08:30:16
UPDATE